Systolic Tree Acceptors

نویسندگان

  • Karel Culik
  • Arto Salomaa
  • Derick Wood
چکیده

— This paper introduces systolic automata for VLSI as highly concurrent acceptors. Attention is focused on tree automata although other types are also discussed briefly. A number of preliminary results about the capabilities of such automata are obtained. The approach not only opens up a new and interesting area oflanguage theory but also its results give useful hints for VLSI system design particularly with regard to the pros and cons of spécifie geometrie structures. Résumé. — Cet article introduit les automates systoliques pour VLSI comme accepteurs avec un grand degré de parallélisme. Vattention est concentrée sur les automates d'arbres, même si d'autres types sont aussi rapidement discutés. On obtient un certain nombre de résultats préliminaires sur de tels automates. L'approche ouvre un domaine nouveau et intéressant en théorie des langages; mais ses résultats donnent aussi des indications utiles pour la conception de systèmes VLSI, en particulier en ce qui concerne les « pros » et « cons » de certaines structures géométriques.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Systolic Automata and P Systems

Systolic automata are models of highly-concurrent language acceptors based on identical processors with one-way flow of information, amenable to efficient hardware implementation as multiprocessor chips. In this paper we investigate the relationship between Binary Systolic TreeAutomata (BSTA), inwhich the underlying communication structure is an infinite complete binary tree with parallel botto...

متن کامل

Bottom-Up Tree Acceptors

This paper deals with the formal derivation of an eecient tabulation algorithm for table-driven bottom-up tree acceptors. Bottom-up tree acceptors are based on a notion of match sets. First we derive a naive acceptance algorithm using dynamic computation of match sets. Tabulation of match sets leads to an eecient acceptance algorithm, but tables may be so large that they can not be generated du...

متن کامل

Towards Probabilistic Acceptors and Transducers for Feature Structures

Weighted finite-state acceptors and transducers (Pereira and Riley, 1997) are a critical technology for NLP and speech systems. They flexibly capture many kinds of stateful left-toright substitution, simple transducers can be composed into more complex ones, and they are EMtrainable. They are unable to handle long-range syntactic movement, but tree acceptors and transducers address this weaknes...

متن کامل

Systolic Tree !-Languages

The class of !-languages recognized by systolic tree automa-ta is introduced. That class extends the class of B uchi !-languages and is closed under boolean operations. The emptiness problem for systolic tree automata on innnite sequences is decidable. A characterization of sys-tolic tree !-languages in terms of a (suitable) concatenation of ((nitary) systolic tree languages is also provided.

متن کامل

Systolic Tree ! - Languages : The Operational andthe Logical

The class of !-languages recognized by systolic (binary) tree automata is introduced. That class extends the class of B uchi !-languages though maintaining the closure under union, intersection and complement and the decidability of emptiness. The class of systolic tree !-languages is characterized in terms of a (suitable) concatenation of ((nitary) systolic tree languages. A generalization of ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • ITA

دوره 18  شماره 

صفحات  -

تاریخ انتشار 1984